101. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
102. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
103. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
104. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
105. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
106. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
107. Fundamental Approaches to Software Engineering
پدیدآورنده : \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرم‌افزار -- مهندسی -- کنگره‌ها ,مهندسی ن‍رم اف‍زار ,زبانهای ب‍رن‍ام‍ه ن‍وی‍س‍ی
رده :
QA76
.
758
.
F44
2015
E-Book
,
108. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
پدیدآورنده : Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
7
109. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
110. Global computing
پدیدآورنده : / Corrado Priami, ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
G373
,
2003
111. Globalizing Domain-Specific Languages
پدیدآورنده : \ [edited by] Betty H.C. Cheng...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a04,a05,a04,a05,Domain-specific programming languages -- Congresses.
رده :
QA
76
.
7
.
G55
2015
E-Book
,
112. Graphic languages. Proceedings
پدیدآورنده : IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
T
385
.
I25
1972
113. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
114. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
115. Implementation and application of functional languages
پدیدآورنده : Andy Gill, Jurriaan Hage (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming languages, Congresses
رده :
QA76
.
62
.
I56
2011eb
116. Implementation and application of functional languages
پدیدآورنده : / Zoltan Horvath, Viktoria Zsok, Andrew Butterfield (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming languages--Congresses
رده :
QA
,
76
.
62
,.
I55
,
2006
117. Implementation and application of functional languages
پدیدآورنده : / Andrew Butterfield, Clemens Grelck, Frank Huch (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming languages--Congresses
رده :
QA
,
76
.
62
,.
I55
,
2005
118. Implementation and application of functional languages
پدیدآورنده : / Clemens Grelck ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming languages--Congresses
رده :
QA
,
76
.
62
,.
I55
,
2004
119. Implementation of functional language
پدیدآورنده : / Pieter Koopman, Chris Clack (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming languages--Congresses
رده :
QA
,
76
.
62
,.
I56
,
1999
120. Implementation of functional languages
پدیدآورنده : / Markus Mohnen, Pieter Koopman (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming languages--Congresses
رده :
QA
,
76
.
62
,.
I56
,
2000
